module Module01

f : ()
f = const ?hole00 ?hole01 ?hole02 ?hole03 ?hole04 ?hole05 ?hole06 ?hole07 ?hole08 ?hole09
          ?hole10 ?hole11 ?hole12 ?hole13 ?hole14 ?hole15 ?hole16 ?hole17 ?hole18 ?hole19
          ?hole20 ?hole21 ?hole22 ?hole23 ?hole24 ?hole25 ?hole26 ?hole27 ?hole28 ?hole29
          ?hole30 ?hole31 ?hole32 ?hole33 ?hole34 ?hole35 ?hole36 ?hole37 ?hole38 ?hole39
          ?hole40 ?hole41 ?hole42 ?hole43 ?hole44 ?hole45 ?hole46 ?hole47 ?hole48 ?hole49
